Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
11	arXiv:0909.1963v4 [math.DG] 29 MarFinite type annular ends for harmonic functions William H. Meeks III∗ Joaqu´ın P´erez† Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-03-29 20:41:12 Mathematical analysis Analytic functions Bernhard Riemann Holomorphic function Harmonic function Riemann mapping theorem Riemann surfaces Projective geometry Fourier analysis Differential forms on a Riemann surface
12	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
13	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
14	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
15	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:16:49 Software engineering Computer programming Programming language theory Data types Subroutines Functional programming Type theory Procedural programming languages Higher-order function Option type ALGOL 68 Technical University of Denmark
16	Calling Variadic Functions from a Strongly Typed Language Matthias Blume Mike Rainey Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-10-05 21:17:42 Software engineering Computing Computer programming Subroutines Variadic function Type theory Variadic Cross-platform software Printf format string Parameter Type system John Reppy
17	Management Accountant Location: Oxford (OX4 2HU) Job Type: Permanent/fulltime Job Ref: ING227 We are searching for a Management Accountant that will help to build PMO function and enhance monthly reporting and analysis. Add to Reading List Source URL: www.ingenta.com Language: English - Date: 2016-05-06 12:36:03 Business economics Business Financial accounting Management accounting Accounting Ingenta
18	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
19	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:15 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
20	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC

UPDATE